1. Algebraic structure theory of sequential machine
پدیدآورنده : HARTMANIS,J
کتابخانه: (طهران)
موضوع : SEQUENTIAL MACHINE THEORY
رده :
QA
267
.
5
.
S4
H3
2. Applicable Algebra, Error - Correcting Codes, Combinatorics and Computer Algebra 4th International Conference, lechture notes in computer science
پدیدآورنده : Th. Beth, M.Clausen; Edited by G.Goos and J.Hartmanis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Algebra - Data Processing - Congresses
رده :
QA
155
.
7
.
E4
A67
3. GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen :
پدیدآورنده : edited by G. Goos, J. Hartmanis, D. Gries, P. Brinch Hansen, G. Seegmüller, N. Wirth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Informatique.,Langages formels.
4. LECTURE NOTES IN COMPUTER SCIENCE
پدیدآورنده : J .HARTMANIS
موضوع :
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
5. LECTURE NOTES IN COMPUTER SCIENCE(weeded)
پدیدآورنده : J. HARTMANIS
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
C
,
193
6. Lecture notes in computer science, 1-100
پدیدآورنده : edited by G. Goos and J. Hartmanis
کتابخانه: (طهران)
موضوع : Periodicals, Indexes ، Computers
رده :
QA
75
.
5
.
L4
7. Mathematical Foundations of Computer Science 1990
پدیدآورنده : Rovan, B.; editor by G.Goos and J. Hartmanis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer Science - Mathematics - Congresses
رده :
QA
76
.
9
.
M35
S96
1660
8. Mathematical foundations of computer science
پدیدآورنده : Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
کتابخانه: (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
S89
1974
9. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
پدیدآورنده : Edited by G. Goos and J. Hartmanis
کتابخانه: (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages
رده :
QA
267
.
5
.
S4
S89
1975
10. Tapsof: Proceedings of the International Joint Conference on theary and Practice of Software Development
پدیدآورنده : Internation Joint Conference on theory and Practice of Software Development, edited by G.Goos and J. Hartmanis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer Software - Development - Cpngresses,، Software Engineering - Congresses,، Trees )Graph theay(- Data Processing - Congresses
رده :
QA
76
.
76
.
D47
I57
1985
